Combining linear-time temporal logic with constructiveness and paraconsistency

Combining classical logic, paraconsistency and relevance

Adding a temporal dimension to a logic system

We introduce a methodology whereby an arbitrary logic system L can be en riched with temporal features to create a new system T L The new system is constructed by combining L with a pure propositional temporal logic T such as linear temporal logic with Since and Until in a special way We refer to this method as adding a temporal dimension to L or just temporalising L We show that the logic syst...

On the Logic of TLA+

TLA+ is a language intended for the high-level specification of reactive, distributed, and in particular asynchronous systems. Combining the linear-time temporal logic TLA and classical set-theory, it provides an expressive specification formalism and supports assertional verification.

ON THE LOGIC OF TLA + Stephan Merz

TLA+ is a language intended for the high-level specification of reactive, distributed, and in particular asynchronous systems. Combining the linear-time temporal logic TLA and classical set-theory, it provides an expressive specification formalism and supports assertional verification.

Linear Time Logic Control of Linear Systems

The control of complex hybrid systems poses new challenges that fall beyond the traditional approaches of control theory. One of these challenges is given by the need to control, coordinate and synchronize the operation of several modules in a network of interacting systems. The desired objectives are no longer captured by the usual control specifications, such as stabilization or output regula...